Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
اقرأ المزيد
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
اقرأ المزيد
Software Technologies
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيد
Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
اقرأ المزيد
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
اقرأ المزيد
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
اقرأ المزيد
Supercomputing Frontiers
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
اقرأ المزيد
System Verilog for Verification : A Guide to Learning the Testbench Language Features
This expanded book provides practical information for hardware and software engineers using the SystemVerilog language to ...
اقرأ المزيد
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
اقرأ المزيد
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
اقرأ المزيد
Transactions on Computational Science XXXVII
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
اقرأ المزيد
Ubiquitous Communications and Network Computing
This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network ...
اقرأ المزيد
Web and Wireless Geographical Information Systems
his book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information ...
اقرأ المزيد
Wireless Internet
This book constitutes the refereed post-conference proceedings of the 12th International Conference on Wireless Internet, ...
اقرأ المزيد
e-Learning, e-Education, and Online Training : 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part I
This 2-volume set constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online ...
اقرأ المزيد
e-Learning, e-Education, and Online Training : 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part II
This 2-volume set constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online ...
اقرأ المزيد
